Turing Award laureates - PDFSEARCH.IO - Document Search Engine

Turing Award laureates
Results: 153

#	Item
121	Dijkstra’s Crisis: The End of Algol and Beginning of Software Engineering, [removed]Thomas Haigh, [removed], www.tomandmaria.com/tom Draft for discussion in SOFT-EU Project Meeting, September 2010 Add to Reading List Source URL: www.tomandmaria.com Language: English - Date: 2010-09-10 02:26:09 Procedural programming languages Turing Award laureates Software engineers Fellows of the British Computer Society ALGOL IFIP Working Group 2.1 Edsger W. Dijkstra Friedrich L. Bauer Peter Naur Software engineering Computing Programming language theory
122	PART VIII: The Unknown History of the Internet “...From time to time I’ve been assigned credit for all sorts of things that I Add to Reading List Source URL: wiwiw.org Language: English - Date: 2005-04-14 05:22:40 Networking hardware ARPANET Packet switching Packet switch Turing Award laureates Paul Baran Leonard Kleinrock Donald Davies Computer network Computing Technology Science and technology in the United States
123	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
124	Microsoft Word - turing-08.dot Add to Reading List Source URL: www.acm.org Language: English - Date: 2013-06-04 22:41:24 Turing Award laureates Women in technology Barbara Jane Liskov Procedural programming languages Alan Turing Year of birth missing Turing Award Association for Computing Machinery John Guttag Computing Computer science Software engineering
125	CV for Maurice V. Wilkes Present address: Computer Laboratory, University of Cambridge. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-11-11 06:41:28 Academia Turing Award laureates British people Science and technology in the United Kingdom Knights Bachelor Maurice Wilkes Jon Crowcroft Andy Hopper Fellows of the Royal Society Fellows of the British Computer Society Year of birth missing
126	MEMORIAL RESOLUTION GEORGE ELMER FORSYTHE (1917 – 1972) Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2008-02-05 18:43:57 Turing Award laureates Science Computer science Cleve Moler Department of Computer Science SWAC Computer scientist Mathematics Donald Knuth Academia Computing George Forsythe
127	EWD475.html Copyright Notice Add to Reading List Source URL: www.cs.utexas.edu - Date: 2011-12-26 17:13:19 Fellows of the British Computer Society Software engineers Turing Award laureates Edsger W. Dijkstra Springer Science+Business Media 0 Copyright Computing Software engineering Computer science
128	Via Po, 53 – 10124 Torino (Italy) Tel. (+[removed] - Fax (+[removed]URL: http//www.de.unito.it Add to Reading List Source URL: www.cesmep.unito.it Language: English - Date: 2005-07-19 03:46:36 Turing Award laureates Neuropsychological assessment Philosophy of artificial intelligence Philosophy of mind Herbert Simon Logic Theorist Bounded rationality Rationality Physical symbol system Science Cognitive science Artificial intelligence
129	PDF Document Add to Reading List Source URL: qeprize.org Language: English - Date: 2013-03-18 13:14:07 Turing Award laureates Internet Society Vint Cerf Internet Bob Kahn World Wide Web ARPANET Tim Berners-Lee Computer network Computing Technology Software
130	PDF Document Add to Reading List Source URL: yury.name Language: English - Date: 2007-05-31 13:32:06 Academia Information theory Nevanlinna Prize Turing Award laureates Jon Kleinberg Rolf Nevanlinna Alexander Razborov Avi Wigderson Peter Shor Science MacArthur Fellows Computer science

UPDATE